Revision: tlasrc--cache--0--patch-19
Archive: aaron.bentley@utoronto.ca--tla-2004
Creator: Aaron Bentley <aaron.bentley@utoronto.ca>
Date: Mon Sep 13 07:36:50 EDT 2004
Standard-date: 2004-09-13 11:36:50 GMT
Modified-files: tests/test-framework
New-patches: aaron.bentley@utoronto.ca--tla-2004/tlasrc--cache--0--patch-19
Summary: Adjusted test framework to delete cache after test
Keywords: 

